A Critique of JCSP Networking
نویسندگان
چکیده
We present a critical investigation of the current implementation of JCSP Networking, examining in detail the structure and behavior of the current architecture. Information is presented detailing the current architecture and how it operates, and weaknesses in the implementation are raised, particularly when considering resource constrained devices. Experimental work is presented that illustrate memory and computational demand problems and an outline on how to overcome these weaknesses in a new implementation is described. The new implementation is designed to be lighter weight and thus provide a framework more suited for resource constrained devices which are a necessity in the field of ubiquitous computing.
منابع مشابه
Communicating Process Architectures 2004 C++csp Networked
C++CSP is a library for C++ enabling direct implementation of CSP concurrency design. It provides an extended set of CSP primitives that follows the model captured by occam and JCSP, with an API similar to the latter. It runs on most platforms, with efficient realisation for both Windows and Unix/Linux. It was released under the open source Lesser GNU Public Licence in January, 2004. That versi...
متن کاملCluster Computing and JCSP Networking
Hoare’s algebra of Communicating Sequential Processes (CSP) enables a view of systems as layered networks of concurrent components, generating and responding to events communicated to each other through channels, barriers and other (formally defined) synchronisation primitives. The resulting image and discipline is close to hardware design and correspondingly easy to visualise, reason about, co...
متن کاملFlexible, Transparent and Dynamic occam Networking With KRoC.net
KRoC.net is an extension to KRoC supporting the distribution of occam channels over networks, including the internet. Starting in 2001, the development of KRoC.net has gone through a number of stages, each one making the system more flexible, transparent and dynamic. It now enables the occam programmer to set up and close network channels dynamically. Configuration has been simplified. All occa...
متن کاملAn Investigation into Distributed Channel Mobility Support for Communicating Process Architectures
Localised mobile channel support is now a feature of Communicating Process Architecture (CPA) based frameworks, from JCSP and C++CSP to occamπ. Distributed mobile channel support has also been attempted in JCSP Networking and occam-π via the pony framework, although the capabilities of these two separate approaches is limited and has not led to the widespread usage of distributed mobile channel...
متن کاملVerification of JCSP Programs
We describe the first proof system for concurrent programs based on Communicating Sequential Processes for Java (JCSP). The system extends a complete calculus for the JavaCard Dynamic Logic with support for JCSP, which is modeled in terms of the CSP process algebra. Together with a novel efficient calculus for CSP, a rule system is obtained that enables JCSP programs to be executed symbolically...
متن کامل